30 jaar kinderrechten: zoeken naar nieuw elan, betrokkenheid en inclusiviteit

Mental illness in Culture, Culture in Mental illness An anthropological view from South Africa

De auteur bespreekt de relatie tussen cultuur en geestesziekte. Hij vraagt aandacht voor het probleem van universalisme versus particularisme waar antropologenmee geconfronteerd worden bij interdisciplinaire studies van psychiatrie. Het thema is misschien niet nieuw, maar de beschouwing komt voort uit de reacties van Zuid-Afrikaanse postgraduate studenten in de medische antropologie die deelnam...

Salivating for knowledge: Strategies used by Group A Streptococcus to survive under stress in the throat

Op dinsdagochtend wordt de bijeenkomst geopend met de plenaire sessie getiteld: ‘Microbes under Stress Conditions’. Micro-organismen ondervinden net als mensen veel stress, zowel op de werkvloer als tijdens de uitoefening van hun hobby’s. De manier waarop micro-organismen hiermee omgaan is onderwerp van een uitdagende sessie, dus komt allen uitgerust naar Papendal! Vorig jaar zijn alle leden vo...

Centrum Voor Wiskunde En Informatica Asf+sdf Parsing Tools Applied to Elan

REM (Reduce Elan Machine): Core of the New ELAN Compiler

ELAN is a powerful language and environment for specifying and prototyping deduction systems in a language based on rewrite rules controlled by strategies. It offers a natural and simple logical framework for the combination of the computation and deduction paradigms. It supports the design of theorem provers, logic programming languages, constraint solvers and decision procedures. ELAN takes f...

Input/Output for ELAN

We show how to add Input/Output capabilities to the ELAN rewriting interpreter using a rewrite speciication of-calculus. This I/O system has the advantage of being totally explicit and t in the same semantic framework than any other \application program". An actual implementation shows the eeectiveness of this approach.